ポケットに入れていた赤いボールペンのインクが漏れてしまったようです。

黒インクと違って赤い色が残りやすいのでちょっと手間がかかりますがきれいに落とすことが出来ました。