The larger of the two Carter Lakes