42-Portugal-rmk