why is duke called blue devils - Search