Admiral John Richardson, the chief of naval operations in the US Navy. Photo: AP