Plan of proposed channel diversion of the San Jacinto River to Baytown