How many years was Ferdinand Marcos president?