How much is St Patrick worth to Ireland?