Trump Signs Budget Agreement, Ending US Government Shutdown