"''Explorer''-class submarines" . . . . . . . . "4.572" . "Explorer-class submarine" . . "Explorer class" . . "54.2544" . . "46.3" . "''Explorer'' class" . "Explorer-class submarine" .