Carlos Castro (Carlos Eduardo Castro Mora) - Nationalmannschaft