On July 23 , Dora was downgraded to a tropical storm .
The next day , Dora was no longer a tropical cyclone .
On July 23 , Dora was downgraded to a tropical storm , and the next day , Dora was no longer a tropical cyclone .