Long-hidden RFK assassination files, 10,000 pages of records, released on Trump’s order