US says ASML's top chip tool may be in China. ASML says it isn't