Libman–Sacks endocarditis (verrucous endocarditis)