竹島

＞「石島」は何時から「観音島」と呼ばれるようになったのか？

そうそう。
これが明らかにされなければ、石島＝観音島説は成り立たない。