15 facts on the dozens of federal operatives who infiltrated the Trump crowds