Central Bank: Russia's external public debt amounted to $585.133 billion by July 1