A sinkhole near the Miami Marlins home field got fixed in time for Thursday’s game