Tres muertos en la explosión de un buque petrolero en Corea del Sur