The patron saint of Galicia is Saint James the Greater, whose body was discovered – according to the Catholic tradition – in 814 near Compostela. Name another saint associated with Galicia.