te3 vid Panamakanalen 12,875 arbetare.