This ice-age carving of a mammoth or a mastodon was recently discovered in Florida. The carving was