Trump has said an anonymous individual had sent $130 million to pay for the military during the government shutdown: