The mosque in Córdoba