A person with knowledge of the situation says Miami forward Derrick Jones Jr. has tested positive for the coronavirus