Panama Canal Zone, labor camp, Pedro San Miguel