He was "Mr Trenton": Tributes to O.W. Larry, civic servant, who was a quiet doer for his town