US strikes Iran after ship attack in Hormuz