Time and size of a giant earthquake in Cascadia inferred from Japanese tsunami records of January 1700