Cosmic prompt-muon spectrum at super high energies estimated from the JACEE primary spectrum using recent charmed-particle production cross-sections