It’s summer in Texas, and that’s got many people heading for their nearest pool, or, as tradition has it, the Gulf. But one of the state’s most beloved beach getaway destinations, Port Aransas, took what amounts to a direct hit from Hurricane Harvey in August, and the town’s still bouncing back.