Known as: washer lock pin