US sells 10-year notes at 4.235% as it stops through by 1.6 basis points