US coal companies could get a boost from Iran war