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.
