My miningpool-observer project recently reported six OFAC-sanctioned transactions as missing from blocks.

Four of these transactions were likely filtered by F2Pool. This is the first filtering based on OFAC sanctions I've seen.