Operator product expansion in static-quark effective field theory: large perturbative correction