Did you know that German geologist Heinrich Edmund Naumann discovered a new species of fossil elephant in Japan?