How many people make up the workforce of the Panama canal?

alot.