Repair of the WTC access pavement at the Barcelona Pier