Panama-Kanal. Entdecker, Piraten, Techniker