Who did Martin think Eisenhower should have made better use of