First F1 car around Korea will be a Red Bull