Not Lincoln or Washington any more, just MLK.
Uh there used to be Federal Holidays for both Lincoln and Washington’s birthdays. I went to military schools and we always had both off until some moron decided we needed to honor Martin Luther King Jr. Washington and Lincoln were combined into Presidents’ Day.