The S-3 Viking, a twin-engine turbofan-powered jet aircraft used for anti-submarine warfare, was operated by which branch of the US military until its retirement from active fleet service in 2009?