Iran Reports No Damage to Key Oil Port After US Attack