As it moved over cooler waters , it weakened slightly to a tropical storm late on July 19 .
As it moved over cooler waters , it weakened a bit to a tropical storm late on July 19 .