How much was stolen by overseas arms contractors