You can not dispute his record and achievement in the marathon.
But did De Castella have an inefficient running action specifically his arm action?
Could he have run faster and be more energy efficient.
If you look at the linked video, Carlos Lopes appears more compact and wasting less energy with his form.