Two F-15s down over Gulf of Mexico

Just saw on CNN than 2 F-15s have crashed in Gulf of Mexico…..both pilots ok. No further details………