Which president holds the record for shortest time in office?