When did the senator who vacated a U.S. Senate seat which Thomas M. Davis considering a run for in 2008 serve as Secretary of the Navy?