• Titre original : Battle of the Coral Sea
  • Titre de sortie en France : La Bataille de la mer de corail
  • Année de production : 1959
  • Réalisateur(s) : Paul Wendkos
  • Pays de production : Etats-Unis