Congenital heart disease in school children in Lagos, Nigeria: Prevalence and the diagnostic gap