Should presidents take vacations?