August is a time when people often take a vacation.