The Defense Department held a personal-team swimming championship