El pasaporte rojo y el modelo del avión se encuentran en la maleta roja.