What government did Castro install?