Iran's Tasnim agency says three US destroyers came under Iranian fire and fled Hormuz towards the Gulf of Oman.