Port of Corpus Christi finishes 2020 with record tonnage