US-Cuba: diplomatic relations formally restored