Trump moves to punish US government workers who leak information to reporters