the branch of the armed forces that operates at sea using warships, destroyers, etc.