US DESTROYS IRANIAN OIL PLATFORMS IN RETALIATION FOR GULF MINE ATTACK