The navy patrol mounted a “mammoth” rescue operation, sending in divers and multiple vessels.