Bristol park renamed in honour of Eddie King