The Detroit Tigers have a shortstop problem entering the 2025 season, but will it require a short-term fix at the July 31 trade deadline?