日本人、朝鮮人は現竹島をどのような呼称で呼んでいたか?