Iran says it hits US military targets in Gulf, lays slain leader to rest

By Nayera Abdallah, Tala Ramadan and Ahmed Elimam

DUBAI, July 9 (Reuters) - Iranian armed forces launched attacks on U.S. military infrastructure in Gulf states on Thursday following U.S. strikes on Iran's southern coastal and eastern provinces, putting further strain on a three-week-old ceasefire agreement.