When did all the t rexs extinc?