children's books about pirate ships and their names