同年12月15日、「野島」と命名。