Army Blue: a song of the U.S. Military Academy