Eleven-year-old girl’s fossil find leads to discovery of largest known sea reptile