Summer sinkhole: a Philly history lesson