When the extent of protoplanetary melting approached magma ocean (MO)-like conditions, alloy melts efficiently segregated from the silicates to form metallic cores. The nature of the MO of a differentiating protoplanet, i.e., internal or external MO (IMO or E…