BREAKING: Senate votes to end shutdown