¿Pero qué hace la policía en Ceuta?