(Another Texas postscriptum)
One more of the sea turtle (the last remaining good one photo other than the video footage). The Hawksbill is a critically endangered sea turtle. "Hawksbill turtles have a wide range, found predominantly in tropical reefs of the Indian, Pacific, and Atlantic Oceans" - from Wikipedia. In Texas, they are said to be "occasional" visitors on the Gulf of Mexico coast. Shell length can be up to 36 inches. I think this juvenile's shell was more than 1/3 of this length. The Kemp's Ridley sea turtle is another one found in Texas at the Padre Island National Seashore. There was said to be one of these at one of the Dallas Fort Worth Metroplex's other aquariums. It's supposed to be illegal to disturb them in the wild.