Excerpts from this story referencing Navy–Johns Hopkins football rivalry