reports of Lagos inaugurating its ‘first general hospital in decades’ by December 2025 refer to a new 280-bed facility in Ojo