No U.S. military casualties after attack in Irbil, Iraq: U.S. official