Please ID this melon
Bought this melon at a farmers market. The vendor said it was a "lantern melon", or at least that's what it sounded like he said. Looked up "lantern melon" and didn't find anything. He also said it has a distinct smell and flavor (somewhat spicy). It didn't smell until I washed it, at which point it smelled like rotten fruit, but when I cut into it, it wasn't rotten and didn't smell. It tastes somewhat like sweet honeydew, not spicy at all, IMO.
Can someone tell me what this name of this melon is?