De acuerdo con el entonces Jefe de Operaciones Navales, Almirante Michael Mullen, el Presidente George W.