Search for heavy neutrinos in K+ -> \mu^+ \nu_{mu} decays