La ruĝa planedo estas nomita pro la ĉeesto de feroksidoj