円楽と猪木も国葬でいいな