Does a submarine count as a warship?