Article: Tito was interred in a mausoleum in Belgrade, which forms part of a memorial complex in the grounds of the Museum of Yugoslav History (formerly called "Museum 25 May" and "Museum of the Revolution"). The actual mausoleum is called House of Flowers (Kuća Cveća) and numerous people visit the place as a shrine to "better times". The museum keeps the gifts Tito received during his presidency. The collection also includes original prints of Los Caprichos by Francisco Goya, and many others. The Government of Serbia has planned to merge it into the Museum of the History of Serbia. At the time of his death, speculation began about whether his successors could continue to hold Yugoslavia together. Ethnic divisions and conflict grew and eventually erupted in a series of Yugoslav wars a decade after his death.

Question: What museum was formerly called "Museum 25 May"?
Museum of Yugoslav History