The incident happened when carts — known as ground-service tugs — were pushing two Alaska Airlines planes from their gates ...