Here’s W. Thomas Smith Jr. on the Marine birthday.