Irán destruye buque petrolero en el Estrecho de Ormuz