Un importante puerto iraní en el Estrecho de Ormuz habría sido blanco de un poderoso ciberataque israelí, dijeron oficiales estadounidenses y de un gobierno extranjero al diario The Washington Post.