Walt Disney's DONALD DUCK #257 ($2.99) Features the classic story: VACATION TIME!  

September 1987            32 pages  color comic from Gladstone Publishing 

This is our only copy.