How does one check the box on form 1040-SR about your main home was in the U.S. for more than half of 2025? in Retirement tax questions