Professor Layton 2: Pandora's/Devils Box?

Hi! I live in the U.S. and I was wondering when Professor Layton 2 is being released. I heard it was called Pandora's Box in the U.S. and The Devil's Box in the U.K. Is anyone sure about this?