ÚLTIMA HORA: EE. UU. ataca a buques iraníes, con informes de que podrían ser petroleros.