Updates: SpaceX launches 20th batch of Starlink internet satellites from Florida