Tres petroleros saudíes cruzan Hormuz tras el acuerdo entre EE.UU. e Irán que reabre el estrecho