Trump fined $9,000 for violating judge’s gag order