What’s it like to be an Army or Navy football player?