Watkins, jefe de operaciones navales de la Armada.