“One of the great things about the SEAL teams in particular, and the American military in general, is the tremendous diversity of backgrounds and experience that people bring to their service.”