Benidorm is restoring the names of the mayors who have governed the city since 1697 as part of its 700th anniversary celebrations 13 June 2025