TWA 800 Probable Cause Incorrect?