Fun fact: the only onscreen depiction of a dinosaur fighting an elephant is from the 1969 film “The Valley Of Gwangi.”