What happens when a U.S. Senator dies?