Military Bowl: Familiarity with triple-option can’t help Virginia in loss to Navy