US tells ASML it is concerned China may have top chip tool