Global heating is making the Great Lakes shrink.