Red Head Pond Map, Corpus Christi