That portion of the Intercoastal Canal running west from the Brazos River, which connects the Brazos and Bernard River, of which three miles remains to be dug, will provide navigable water for vessels from Galveston to Corpus Christi, Texas