SEDCO Quarterly Report (2024 Q1)