Starship "Alpha" is traveling at 0.8c (α = 5/3) with respect to the identical starship "Beta." Each starship has rest length 10,000 m. The ship's engineer aboard the "Beta" measures the length of the "Alpha" as it passes by his window. What result should he get?