war vessel; man-of-war; warship