Was Laura Bush wearing Mamie

Eisenhower's dress when she posed

for her official White House portrait?