PANAMA CANAL HISTORY