Which president was chosen by the House of Representatives