You Don't Need a Kill Switch to Hobble Exported F-35s