Retired general: Iran would use nukes if they had them