Definition of NAMES OF SHIPS.