"Иван"-озеро - бывшее "истоковое" озеро рек Дон и Упа (Уппа) - притока Тулы и далее Оки (Окки) и Волги. На карте 16 века "Иван"-озеро соединяется с Уппой каналом Камус. В 18 и 19 веках предпринимались безуспешные попытки восстановить канал, создать систему шлюзов и восстановить судоходное сообщение.
Сигизмунд Герберштейн, в "Записках о Московии" (1551): "Танаис [Дон] начинается в 8 милях от Тулы но не в Рифнейских горах, а в Громадном Иван-Озере, которое простирается в длину и ширину на 1500 верст, и начинается в лесу, который одни зовут Оконицким, а другие Епифановым".
В наиболее раннем перечне рек «Книге Большому Чертежу», которая являлась приложением к карте России, составленной около 1552 г., об истоке Дона написано: «РҌка ДонҌ вытекла изъ Иваня озера, отъ ДҌдилова верстъ съ 30, и потекла подъ Епифань. Да изъ того жъ Иваня озера потекла рҌка Шать и пала въ pҌку въ Упу выше города Тулы верстъ съ 8 и больши».
"На самом дне Ивана-Озера обнаружен бездонный колодезь. Оттуда поступает в озеро столь много воды, что хватит ее на питание канала..."
из записей в петровские времена: https://geocaching.su/?pn=101&cid=4404
Иван-Озерская легенда: "Раньше Иван-Озеро было куда больше, потому как со дна его били ключи, но какой-то человек необыкновенный заложил их дубовыми (есть вариант с железными)(7) воротами, которые отворены будут только перед концом света. Выступит тогда Иван-Озеро из берегов своих и затопит всю землю...".
https://geocaching.su/?pn=101&cid=4404
Но в честь ли "Ивана" было названо озеро?
Разбор этого и других названий рек и озер - по ссылке: https://new-etymology.livejournal.com/202952.html