The US Senate approves a short-term bill extending government funding