Trump signs budget bill bringing an end to partial government shutdown