That was called Lincoln’s Birthday. Then it got rolled into Washington’s and called Presidents Day, which is sort of generic.
Actually there was Washington’s Bday and Lincoln’s bday as independent holidays... then they made. MLK a national holiday which they made on I believe Lincolns birthday, and just consolidate Washington and Lincolns bday together on Washingtons Bday can started calling it presidents day.
And no I never heard Lincoln’s birthday referred to by any of those terms, ever.
June 19th was always a separate item.