ensanchamiento y profundización del canal San Antonio