Lost small red-eared slider turtle with bright red patches behind its eyes near the National Mall in Washington DC.

I last saw my beloved red-eared slider turtle while playing around with my kids by the water near the National Mall in Washington DC. He’s quite small, about 6 inches in diameter, with a distinctive bright red patch behind his eyes. He’s been part of our family for years, and we’re really worried about him. If anyone has seen him or has any information, please let me know!