Should the lido in Hornfair Park be renamed Royal Greenwich Lido?