The 42nd president of the United States had which Secretary of Labor for his term until 1997?