When Governor George W. Bush was elected as president of the United States, his term as Texas governor had not expired. How, then, was the governor's office in Texas filled?