Definition:

warship