$19.2 billion