what is the nickname of the college established in 1773?
red devils