SEDCO Quarterly Report (2023 Q4)