Report: Jose Ramirez could be available in trade