The president's historic election didn't help break his name into the top 1000 baby names.