Search for heavy neutral lepton production in K+ decays to positrons