July 27 Could Become a Paid Holiday, Giving Workers More Time to Honor Vietnam’s Heroes