Trooper's Law was named after a dog left behind in floodwaters during Hurricane Milton. Dexter's Law was named after a dog found decapitated at Fort De Soto Park.