robert e lee\'s birthday synonym