Top strategist for DeSantis super PAC resigns