in U.S.S. Fitzgerald Collision