SHIPS: This ship, Columbus' flagship., was originally called the Marigalanti