'Shrek 5' Is Officially in Production and Set for a 2025 Release ...