Karman Holdings valued at nearly $4 billion as shares jump in NYSE debut - Reuters