Trump administration weighs options after Warmbier death