GPS on Commercial Ships Could Improve Tsunami Warnings