nickname of the school established in 1773
red devils