Seoul mayor’s funeral held despite objections