Which of the following was US president who asked Congress in 1845 for a joint resolution in favor of annexing Texas?