Many people take their vacations in July.