Nobody answered this question the first time, so I'll try it again: Hi, Has the ceratopsian Centrosaurus been renamed Eucentrosaurus or not? Thanks in advance, -Grant