Disney's Peter Pan shows pirates with tattoos. Did any European pirates from the 17th and 18th centuries (on whom PP's pirates are clearly based) have tattoos?