Did 35,000 Americans die building the Panama Canal?