猪苗代湖の別名は天鏡湖（てんきょうこ）