The smaller of the two Carter Lakes