¿En qué provincia española se encuentra la localidad de Puerto de Béjar (424 hab.)?