FROM THE STANDPOINT of the sea gods, rechristening the Pandora could be seen as a dubious exercise. As though her original mythological name weren’t already heavy enough, a superstition had long held among some mariners that no ship should ever be renamed. Some claimed that it insulted a vessel’s very soul; others said it was just a bad idea, the epitome of tempting fate.