Search for a heavy neutrino emitted in K+ → μ+ν decay