Judge orders whistleblower official reinstated after Trump fired him