Canal inter-océanique par le Nicaragua, au moyen du prolongement du niveau du lac jusqu'aux océans : par la submersion des vallées du San-Juan et du Rio Grande