Police say the victim was a 30-year-old Spanish tourist. One man has been arrested.

Source: https://www.bbc.com/news/articles/cr72nrzjj5no