Spectrahedral shadows and completely positive maps on real closed fields