Market at record highs: What should investors do?