Title: documentary diplomatic history of the panama canal