Control by Deleting Players from Weighted Voting Games Is NPPP-Complete for the Penrose-Banzhaf Power Index | Synapse