waco navy