The US government shutdown means Trump’s cabinet is getting raises