Tha chances that someone purchased a savings bond, redeemable in 18 years for face value, and is on the OFAC list is slim. This is where your bank needs to have a risk assessment done on monetary instruments and what does and does not need to be included in OFAC. Theoretically, one could purchase a savings bond today for the purpose of money laundering, but it seems highly unlikely that this would occur.
We don't check savings bonds, either purchased or redeemed.
_________________________
Providing alternative truths since the invention of time