Olsen's alligator

== English == === Etymology === Named after Russel Olsen. === Noun === Olsen's alligator (plural Olsen's alligators) A small, extinct alligator (†Alligator olseni), known from the early Miocene. ==== References ==== Alligator olseni on Wikipedia.Wikipedia Alligator olseni on Wikispecies.Wikispecies Category:Alligator olseni on Wikimedia Commons.Wikimedia Commons