corpus christi is part of texas