General100-million-year-old crocodile fossil discoveredFossil found in Thailand is of previously unknown species