Charles Johnson (pirate biographer)