Found it! At the Federal Government Office of Personnel Management's data site they got info on all 1,285 federal employees working with the Federal Reserve whose fed paychecks total $146,604,567 yearly. They got no employees listed any more with the Panama Canal.
I’m having trouble finding that on the link you provided. Could you link the specific spread sheet you found that on?