La basílica de Estambul, convertida en mezquita: una decisión histórica