国際的には駆逐艦も「軍艦」だけど、海軍の分類では駆逐艦は「艦艇」らしいな。