School politics class: Donald Trump signs bill to end partial US government shutdown