Michael Phelps takes record 19th Olympic medal