鉱山やらトンネル掘りで朝鮮の人たちもよく働いたことは確かだよね