warship—a military ship built and used for fighting at sea