Who were the pilots in the DC crash?