¿Con qué provincia española limita el distrito de Faro, en Portugal?