US military strikes Iran after it says Tehran attacked 3 ships in Strait of Hormuz