They really do belong to the Navy.