Should the Astros go all-in and sign Bryce Harper?